Feeds to Scour
SubscribedAll
Scoured 15532 posts in 189.0 ms
A flexible language model-assisted electronic design automation framework
arxiv.org·1d
⚡Circuit Design
Preview
Report Post
Hint-Based SMT Proof Reconstruction
arxiv.org·4h
🧮SMT Solvers
Preview
Report Post
Gödel, Turing, and AI： the Incomplete Space in Post-AI Architecture
jimiwen.substack.com·1d·
Discuss: Substack
🔲Cellular Automata
Preview
Report Post
Multi-Modal Program Verification in Velvet
proofsandintuitions.net·1d·
Discuss: Hacker News
⚖️Verification Calculi
Preview
Report Post
Smart Eyes for Arduino: Add Face ID & Anti-Spoofing in 5 Min
hackster.io·5h
⚡Homebrew CPUs
Preview
Report Post
Feb 08 2026 : Intro to Soldering Workshop: Make an LED Tile
nycresistor.com·1d
⚙️DIY Electronics
Preview
Report Post
One ISA, Infinite Use Cases: RISC-V and the Road to Workload-Specific Silicon
riscv.org·13h
🧲RISC-V Preservation
Preview
Report Post
Polimi chip speeds up computing and drastically reduces energy consumption
polimi.it·2h·
Discuss: Hacker News
🖥️Hardware Architecture
Preview
Report Post
We’ve Been Building an ANN Engine for Six Months. Here’s Where It Stands.
dev.to·1h·
Discuss: DEV
⚡Incremental Computation
Preview
Report Post
Simulating Pots with LTSpice
hackaday.com·6h
⚡Homebrew CPUs
Preview
Report Post
CodeSOD: Well Timed Double Checking
thedailywtf.com·2d
🧪Binary Fuzzing
Preview
Report Post
Can We Build an NX Bit for LLMs
bogdandeac.com·1d·
Discuss: Hacker News
🖥️Modern Terminals
Preview
Report Post
How Static Analysis Can Expose Personal Data Hidden in Source Code
hackernoon.com·21h
📊Static Analysis
Preview
Report Post
BPF Verifier State Pruning: Timeline
pchaigno.github.io·2d
🛡️Archive Verification
Preview
Report Post
One part of me wonders whether this would’ve been caught earlier if I spent some more time analizing the possible approaches for this refactor. Honestl...
lmika.org·5h
🔓Reverse engineering
Preview
Report Post
Chinese semiconductor industry gears up for domestic HBM3 production by the end of 2026 — CXMT to produce chips, while Naura, Maxwell, and U-Preseason design tools for assembly
tomshardware.com
·17h·
Discuss: r/technology
🖥️Modern Terminals
Preview
Report Post
Enabling autonomous agents with environment virtualization
thenewstack.io·11h
🤖Network Automation
Preview
Report Post
Every Mini PC & SFF Hardware Announced at CES 2026
williamlam.com·18h
🖥️Terminal Renaissance
Preview
Report Post
In Praise of APL (1977)
jsoftware.com·52m·
Discuss: Hacker News
📊APL Heritage
Preview
Report Post
Performance Is Not a Technical Problem
shud.in·54m·
Discuss: Hacker News
👁️System Observability
Preview
Report Post

Keyboard Shortcuts

Navigation
Next / previous item
j/k
Open post
oorEnter
Preview post
v
Post Actions
Love post
a
Like post
l
Dislike post
d
Undo reaction
u
Recommendations
Add interest / feed
Enter
Not interested
x
Go to
Home
gh
Interests
gi
Feeds
gf
Likes
gl
History
gy
Changelog
gc
Settings
gs
Browse
gb
Search
/
General
Show this help
?
Submit feedback
!
Close modal / unfocus
Esc

Press ? anytime to show this help